“다항 시간 비결정적 튜링 기계”